Towards Composable Threat Assessment for Medical IoT (MIoT)

Towards Composable Threat Assessment for Medical IoT (MIoT)

The Medical Internet of Things (MIoT) has applications beyond clinical settings including in outpatient and care environments where monitoring is occurring over public networks and may involve non-dedicated devices. This poses a number of security and privacy challenges exacerbated by a heterogeneous and dynamic environment, but still requires standards for handling personally identifiable and ...

Security Threat Assessment: towards 2015 Elections

Towards Composable Concurrency Abstractions

In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but multiple...

Towards Composable Timing for Real-Time Software

Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteei...

Towards Adaptive and Composable Services

In complex distributed environments, it is important to achieve high degree of machine-to-machine interaction, not only on a functional, but on a semantic level. Therefore, we propose the NOMADS (Networks of Mobile Adaptive Dependable Systems) Republic, a vision of the future community open to all interested hardware and software entities, and based on adaptive and, if necessary, composable ser...